Emerson, Allen: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

E2721

Allen Emerson, M. L. J. Hautus and T. S. Bolis

Journal:

American Mathematical Monthly

Year:

1979

Language:

english

File:

PDF, 354 KB

english, 1979

2

MODULARITY AND RULE-BASED PROGRAMMING

BROWNE, JAMES C., EMERSON, ALLEN, GOUDA, MOHAMED G., MIRANKER, DANIEL P., MOK, ALOYSIUS, OBERMEYER, LANCE, HADDIX, FURMAN, WANG, RWO-HSI, CHODROW, SARAH

Journal:

International Journal of Artificial Intelligence Tools

Year:

1995

Language:

english

File:

PDF, 876 KB

english, 1995

3

Elementary Problems: E2719-E2724

John S. Lew, Ralph P. Boas, Allen Emerson, Clark Kimberling, Allen Moy and Harry Lass

Journal:

American Mathematical Monthly

Year:

1978

Language:

english

File:

PDF, 286 KB

english, 1978

4

Decision procedures and expressiveness in the temporal logic of branching time

E.Allen Emerson, Joseph Y. Halpern

Journal:

Journal of Computer and System Sciences

Year:

1985

Language:

english

File:

PDF, 1.60 MB

english, 1985

5

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1855 || Model Checking Continuous-Time Markov Chains by Transient Analysis

Emerson, E. Allen, Sistla, Aravinda Prasad

Year:

2000

Language:

english

File:

PDF, 260 KB

english, 2000

6

A new framework for grading

Green, Kris H., Emerson, Allen

Journal:

Assessment & Evaluation in Higher Education

Year:

2007

Language:

english

File:

PDF, 104 KB

english, 2007

7

“Sometimes” and “not never” revisited: on branching versus linear time temporal logic

Emerson, E. Allen, Halpern, Joseph Y.

Journal:

Journal of the ACM

Year:

1986

Language:

english

File:

PDF, 1.97 MB

english, 1986

8

Synthesis of fault-tolerant concurrent programs

Attie, Paul C., Arora, Anish, Emerson, E. Allen

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2004

Language:

english

File:

PDF, 410 KB

english, 2004

9

Synthesis of concurrent programs for an atomic read/write model of computation

Attie, Paul C., Emerson, E. Allen

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2001

Language:

english

File:

PDF, 600 KB

english, 2001

10

George Harold Edgell: 1887-1954

William Truman Aldrich, W. G. Russell Allen and William Emerson

Journal:

Bulletin of the Museum of Fine Arts

Year:

1954

Language:

english

File:

PDF, 199 KB

english, 1954

11

De Novo Sequences of Haloquadratum walsbyi from Lake Tyrrell, Australia, Reveal a Variable Genomic Landscape

Tully, Benjamin J., Emerson, Joanne B., Andrade, Karen, Brocks, Jochen J., Allen, Eric E., Banfield, Jillian F., Heidelberg, Karla B.

Journal:

Year:

2015

Language:

english

File:

PDF, 1.43 MB

english, 2015

12

Formal Models and Semantics || Temporal and Modal Logic

EMERSON, E. Allen

Year:

1990

File:

PDF, 4.35 MB

1990

13

Intracortical electroencephalography in acute brain injury

Allen Waziri, Jan Claassen, R. Morgan Stuart, Hiba Arif, J. Michael Schmidt, Stephan A. Mayer, Neeraj Badjatia, Lewis L. Kull, E. Sander Connolly, Ronald G. Emerson, Lawrence J. Hirsch

Journal:

Annals of Neurology

Year:

2009

Language:

english

File:

PDF, 2.38 MB

english, 2009

14

Modalities for model checking: branching time logic strikes back

E. Allen Emerson, Chin-Laung Lei

Journal:

Science of Computer Programming

Year:

1987

Language:

english

File:

PDF, 2.17 MB

english, 1987

15

Alternative semantics for temporal logics

E. Allen Emerson

Journal:

Computer Compacts

Year:

1983

Language:

english

File:

PDF, 112 KB

english, 1983

16

Alternative semantics for temporal logics

E.Allen Emerson

Journal:

Theoretical Computer Science

Year:

1983

Language:

english

File:

PDF, 984 KB

english, 1983

17

Efficient Model Checking of Hardware Using Conditioned Slicing

Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 298 KB

english, 2005

18

Under-approximation Heuristics for Grid-based Bounded Model Checking

Subramanian Iyer, Jawahar Jain, Debashis Sahoo, E. Allen Emerson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 511 KB

english, 2006

19

On model checking for the μ-calculus and its fragments

E.Allen Emerson, Charanjit S. Jutla, A.Prasad Sistla

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 276 KB

english, 2001

20

Severity distribution of atopic dermatitis in the community and its relationship to secondary referral

Emerson, Williams, Allen

Journal:

British Journal of Dermatology

Year:

1998

Language:

english

File:

PDF, 247 KB

english, 1998

21

Combination treatment with methotrexate and cyclosporin for severe recalcitrant psoriasis

Clark, Kirby, Morris, Davison, Zaki, Emerson, Saihan, Chalmers, N.barker, Allen, Griffiths

Journal:

British Journal of Dermatology

Year:

1999

Language:

english

File:

PDF, 61 KB

english, 1999

22

What is the cost of atopic dermatitis in preschool children?

R.M. Emerson, H.C. Williams, B.R. Allen

Journal:

British Journal of Dermatology

Year:

2001

Language:

english

File:

PDF, 280 KB

english, 2001

23

Case studies

Allen Emerson, Jerry Phillips, Cathy Hunt, Arlene Bowman Alexander

Journal:

New Directions for Teaching and Learning

Year:

1994

Language:

english

File:

PDF, 592 KB

english, 1994

24

Inline blood gas analysis by gas chromatography in patients during and after coronary artery surgery

Emerson A. Moffitt, Richard G. McLaren, David D. Imrie, Christopher T. B. Allen, C. Edwin Kinley, James C. W. Parrott

Journal:

Canadian Journal of Anesthesia/Journal canadien d'anesthésie

Year:

1979

Language:

english

File:

PDF, 470 KB

english, 1979

25

Myocardial metabolism and haemodynamic responses during high-dose fentanyl anaesthesia for coronary patients

Emerson A. Moffit, John E. Scovil, Richard A. Barker, Allen E. Marble, John A. Sullivan, Carlos DelCampo, Charman L. Cousins, C. Edwin Kinley

Journal:

Canadian Journal of Anesthesia/Journal canadien d'anesthésie

Year:

1984

Language:

english

File:

PDF, 521 KB

english, 1984

26

Dipyridamole monotherapy in schizophrenia

Ikwunga Wonodi, Hirekatur V. Gopinath, Judy Liu, Helene Adami, L. Elliot Hong, Robert Allen-Emerson, Robert P. McMahon, Gunvant K. Thaker

Journal:

Psychopharmacology

Year:

2011

Language:

english

File:

PDF, 139 KB

english, 2011

27

Improved verification of hardware designs through antecedent conditioned slicing

Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 585 KB

english, 2007

28

Symbolic modular deadlock analysis

Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan

Journal:

Automated Software Engineering

Year:

2011

Language:

english

File:

PDF, 1.18 MB

english, 2011

29

Intracortical EEG for the Detection of Vasospasm in Patients with Poor-Grade Subarachnoid Hemorrhage

R. Morgan Stuart, Allen Waziri, David Weintraub, Michael J. Schmidt, Luis Fernandez, Raimund Helbok, Pedro Kurtz, Kiwon Lee, Neeraj Badjatia, Ron Emerson, Stephan A. Mayer, E. Sander Connolly, Lawrenc

Journal:

Neurocritical Care

Year:

2010

Language:

english

File:

PDF, 246 KB

english, 2010

30

Using branching time temporal logic to synthesize synchronization skeletons

E.Allen Emerson, Edmund M. Clarke

Journal:

Science of Computer Programming

Year:

1982

Language:

english

File:

PDF, 1.50 MB

english, 1982

31

Efficient Reduction Techniques for Systems with Many Components

E. Allen Emerson, Thomas Wahl

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 352 KB

english, 2005

32

Bounded-time fault-tolerant rule-based systems

James C. Browne, Allen Emerson, Mohamed Gouda, Daniel Miranker, Aloysius Mok, Louis Rosier

Journal:

Telematics and Informatics

Year:

1990

Language:

english

File:

PDF, 741 KB

english, 1990

33

Treatment of severe atopic dermatitis in childhood with cyclosporin

I. ZAKI, R. EMERSON, B.R. ALLEN

Journal:

British Journal of Dermatology

Year:

1996

Language:

english

File:

PDF, 296 KB

english, 1996

34

Improved Efficacy of Anodal Biphasic Defibrillation Shocks Following a Failed Defibrillation Attempt

PAUL RICHARD ROBERTS, STUART ALLEN, DAVID CHARLES SMITH, JON FREDRIC URBAN, DAVID EMERSON EULER, MICHAEL JOHN KALLOK, JOHN MARK MORGAN

Journal:

Pacing and Clinical Electrophysiology

Year:

1999

Language:

english

File:

PDF, 3.08 MB

english, 1999

35

10.1038/35030124

Watkins, David I., Allen, Todd M., O'Connor, David H., Jing, Peicheng, Dzuris, John L., Mothé, Bianca R., Vogel, Thorsten U., Dunphy, Ed, Liebl, Max E., Emerson, Carol, Wilson, Nancy, Kunstman, Kevin

Journal:

Year:

2000

Language:

english

File:

PDF, 224 KB

english, 2000

36

A Systematic Evaluation of Conventional and Novel Transvenous Pathways for Defibrillation

Paul Richard Roberts, Stuart Allen, David Charles Smith, Jon Fredric Urban, David Emerson Euler, Roger William Dahl, Michael John Kallok, John Mark Morgan

Journal:

Journal of Interventional Cardiac Electrophysiology

Year:

1999

Language:

english

File:

PDF, 146 KB

english, 1999

37

[Lecture Notes in Computer Science] Computer Aided Verification Volume 1855 || Boolean Satisfiability with Transitivity Constraints

Emerson, E. Allen, Sistla, Aravinda Prasad

Year:

2000

Language:

english

File:

PDF, 192 KB

english, 2000

38

Uniform inevitability is tree automation ineffable

E.Allen Emerson

Journal:

Information Processing Letters

Year:

1987

Language:

english

File:

PDF, 229 KB

english, 1987

39

Biochemical, cytological, and histological alterations in rat lung following acute beryllium aerosol exposure

Beth A. Hart, Allen G. Harmsen, Robert B. Low, Robert Emerson

Journal:

Toxicology and Applied Pharmacology

Year:

1984

Language:

english

File:

PDF, 2.78 MB

english, 1984

40

An automata theoretic decision procedure for the propositional mu-calculus

Robert S. Streett, E.Allen Emerson

Journal:

Information and Computation

Year:

1989

Language:

english

File:

PDF, 899 KB

english, 1989

41

Deciding full branching time logic

E. Allen Emerson, A. Prasad Sistla

Journal:

Information and Control

Year:

1984

Language:

english

File:

PDF, 1.33 MB

english, 1984

42

Sedation effects on responsiveness: evaluating the reduction of antipsychotic medication in people with intellectual disability using a conditional probability approach

C. Smith, D. Felce, Z. Ahmed, W. I. Fraser, M. Kerr, C. Kiernan, E. Emerson, J. Robertson, D. Allen, H. Baxter, J. Thomas

Journal:

Journal of Intellectual Disability Research

Year:

2002

Language:

english

File:

PDF, 84 KB

english, 2002

43

[IEEE 20000 IEEE/Cornell Conference on High Performance Devices - Ithaca, NY, USA (7-9 Aug. 2000)] Proceedings 2000 IEEE/ Cornell Conference on High Performance Devices (Cat. No.00CH37122) - Technology development for GaN/AlGaN HEMT hybrid and MMIC amplifiers on semi-insulating SiC substrates

Sheppard, S.T., Pribble, W.L., Emerson, D.T., Ring, Z., Smith, R.P., Allen, S.T., Milligan, J.W., Palmour, J.W.

Year:

2000

Language:

english

File:

PDF, 388 KB

english, 2000

44

[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 3855 || What’s Decidable About Arrays?

Emerson, E. Allen, Namjoshi, Kedar S.

Year:

2005

Language:

english

File:

PDF, 546 KB

english, 2005

45

The Complexity of Tree Automata and Logics of Programs

Emerson, E. Allen, Jutla, Charanjit S.

Journal:

SIAM Journal on Computing

Year:

1999

Language:

english

File:

PDF, 519 KB

english, 1999

46

Symmetry and model checking

E. Allen Emerson, A. Prasad Sistla

Journal:

Formal Methods in System Design

Year:

1996

Language:

english

File:

PDF, 1.81 MB

english, 1996

47

Gc (vitamin D-binding protein) binds the 33.5 K tryptic fragment of actin

Pascal J. Goldschmidt-Clermont, Robert C. Allen, Andre E. Nel, David L. Emerson, Joseph R. Day, Robert M. Galbraith

Journal:

Year:

1986

Language:

english

File:

PDF, 494 KB

english, 1986

48

762: Improving outcomes with delayed admission to labor and delivery

Tilden, Ellen, Allen, Allison, Page, Jessica, Emerson, Jenna, Fowler, Jessica, Gregory, Thomas, Caughey, Aaron

Journal:

American Journal of Obstetrics and Gynecology

Year:

2013

Language:

english

File:

PDF, 200 KB

english, 2013

49

124: Buprenorphine vs methadone for maintenance of opioid addiction during pregnancy: a cost-effectiveness analysis

Fowler, Jessica, Emerson, Jenna, Allen, Allison, Dilley, Sarah, Gideonse, Nicholas, Rieckmann, Traci, Risser, Amanda, Caughey, Aaron

Journal:

American Journal of Obstetrics and Gynecology

Year:

2013

Language:

english

File:

PDF, 399 KB

english, 2013

50

769: Restricted early term elective induction of labor: an economic analysis

Page, Jessica, Fowler, Jessica, Allen, Allison, Emerson, Jenna, Werner, Erika, Caughey, Aaron

Journal:

American Journal of Obstetrics and Gynecology

Year:

2013

Language:

english

File:

PDF, 152 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски